| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-18_15-48-05/ncurses_window_refresh_scenario.utz (ncurses_window_refresh_scenario.utt), line 182 |
| occurence |
| scenario |
ncurses_window_refresh_scenario |
| specification function |
pair_content_spec() |
| parameter value |
CallContext context = [pid=3818,thr=b73bc6c0] |
| parameter value |
ShortT pair = 0 |
| parameter value |
ColorPair * @color_pair = struct ColorPair { foreground=0, background=0 } |
| parameter value |
ColorPair * color_pair = struct ColorPair { foreground=15, background=0 } |
| return value |
(IntT) 0 |
coverage
& branch |
pseudo_coverage
The only branch |
| properties |
| REQ failed |
pair_content.09 |
| kind |
POSTCONDITION_FAILED |